大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Concepts of mathematical modeling

0
索取号:O141.4/MWJ
作者:Meyer、 Walter J. (Walter Joseph)、 1943-、
出版社:New York : McGraw-Hill, c1984.

A concrete approach to mathematical modelling

0
索取号:O141.4/E901
作者:Mesterton-Gibbons、 Michael.、
出版社:Redwood City, Calif. : Addison-Wesley, c1989.

Mathematical modeling for water pollution control processes

0
索取号:O141.4/E801
作者:
出版社:Ann Arbor, Mich. : Ann Arbor Science Publishers, c1975.

Lectures on constructive mathematical analysis

0
索取号:O141.3/E906
作者:Kushner、 B. A. (Boris Abramovich)、LĕИfman、 L. ︠и︡а. (Lev ︠и︡аkovlevich).、
出版社:Providence, R.I : American Mathematical Society, c1984.

Constructive analysis

0
索取号:O141.3/E902
作者:Bishop、 Errett、 1928-1983.、Bridges、 D. S. (Douglas S.)、 1945-、Bishop、 Errett、 1928-1983. Foundations of constructive analysis.、
出版社:Berlin ; New York : Springer-Verlag, c1985.

Handbook of mathematical logic

0
索取号:O141-55/E801
作者:
出版社:Amsterdam ; New York : North-Holland Pub. Co., 1977.

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

0
索取号:O141/E803
作者:
出版社:New York : M. Dekker, c1985.

The mathematical theory of turbulence

0
索取号:O357.3/E901
作者:Stanisic、 M. M.、
出版社:New York : Springer-Verlag, c1985.

Nonequilibrium thermodynamics and its statistical foundations

0
索取号:O414.14/E901
作者:Kreuzer、 H. J. (Hans J.)、
出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 1981.

Introduction to mathematical logic : set theory, computable functions, model theory

0
索取号:O141/E804
作者:Malitz、 Jerome.、
出版社:New York : Springer-Verlag, c1979.

Economic evolution and structural adjustment : proceedings of invited sessions on economic evolution and structural change held at the 5th International Conference on Mathematical Modelling at the University of California, Berkeley, California, USA, July 29-31, 1985

0
索取号:F224-55/E903
作者:International Conference on Mathematical Modelling (5th : 1985 : University of California、 Berkeley)、Batten、 David F.、Johansson、 B. (Börje)、Casti、 J. L.、
出版社:Berlin ; New York : Springer-Verlag, c1987.

Proceedings of the Workshop on Numerical Hydrodynamics, held at the National Academy of Sciences, May 20-21, 1974

0
索取号:O351.2-53/E802/1974
作者:Workshop on Numerical Hydrodynamics、 Washington、 D.C.、 1974.、National Research Council (U.S.). Committee on Undersea Warfare.、United States. Office of Naval Research. Fluid Dynamics Branch.、
出版社:Washington : National A. The Academy, 1975.

Current problems in elementary particle and mathematical physics : proceedings of the XV. Internationale UniversiẗАtswochen f̈Уr Kernphysik 1976 der Karl-Franzens-UniversiẗАt Graz at Schladming (Steiermark, Austria), 16th February-27th February 1976

0
索取号:O572.3/E801
作者:Internationale UniversiẗАtswochen f̈Уr Kernphysik der Karl-Franzens-UniversiẗАt Graz (15th : 1976 : Schladming、 Austria)、Urban、 Paul Oskar、 1905-、Austria. Bundesministerium f̈Уr Wissenschaft und Forschung.、
出版社:Wien ; New York : Springer-Verlag, 1976.

A mathematical introduction to logic

0
索取号:O141/E808
作者:Enderton、 Herbert B.、
出版社:New York : Academic Press, [1972].

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

0
索取号:O14-53/E991
作者:Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、
出版社:Providence, R.I. : American Mathematical Society, c1990.

Weak and electromagnetic interactions at high energies, Cargese, 1975 : [proceedings of the summer institute held at Cargese, France, June 30-July 25, 1975]

0
索取号:O4-51/E808/2
作者:Levy、 Maurice、 1922-、Université Pierre et Marie Curie.、Université catholique de Louvain (1970- )、Katholieke Universiteit te Leuven (1970- )、Cargèse Summer Institute on Weak and Electromagnetic Interactions on High Energies (1975)、
出版社:New York : Plenum Press, 1976.
最近添加的分类